Resource-Bounded Reasoning in Phoenix
نویسنده
چکیده
I started working in resource-bounded reasoning as part of the PHOENIX project (Cohen et al. 1989; Hart & Cohen 1990; Greenberg & Westbrook 1990), while a graduate student in the Experimental Knowledge Systems Laboratory (EKSL) at UMass, Amherst. The PHOENIX problem domain is forest fire fighting, for which EKSL built a sophisticated computer simulation of forest fires in Yellowstone National Park (based on satellite data) and of autonomous agents that put out the fires. The PHOENIX system consists of an instrumented discrete event simulation, an autonomous agent architecture that integrates multiple planning methods, and a hierarchical organization of agents capable of improving their fire-fighting performance by adapting to the simulated environment. The PHOENIX agent architecture includes several innovative features that support adaptable planning under real-time constraints, including a least-commitment planning style called lazy skeletal refinement and a combination of reactive and deliberative planning components operating at different time scales. The problem involves resourcebounded reasoning because the simulator ensures that the fire continues to burn while the agents are planning and acting. The deadlines are somewhat soft, because the agent can gain time by sacrificing more forest, but it sets a deadline for itself as part of committing to a plan, and it is costly to replan at that point. In any event, there is a natural time pressure on the agent, which it can monitor by observing the fire as well as its own progress.
منابع مشابه
Knowledge, Logical Omniscience, and Resource-bounded Reasoning
Agent theories typically use modal epistemic logic for modeling knowledge of agents. Since the modal approach to epistemic logic cannot formalize resource-bounded reasoning adequately, it it not suited to describe realistic, implementable agents. We develop a framework for solving that problem. We introduce the notion of algorithmic knowledge — a concept that establishes a direct link between a...
متن کاملImproving Agent Performance for Multi-Resource Negotiation Using Learning Automata and Case-Based Reasoning
In electronic commerce markets, agents often should acquire multiple resources to fulfil a high-level task. In order to attain such resources they need to compete with each other. In multi-agent environments, in which competition is involved, negotiation would be an interaction between agents in order to reach an agreement on resource allocation and to be coordinated with each other. In recent ...
متن کاملBelief ascription under bounded resources
There exists a considerable body of work on epistemic logics for resource-bounded reasoners. In this paper, we concentrate on a less studied aspect of resource-bounded reasoning, namely, on the ascription of beliefs and inference rules by the agents to each other. We present a formal model of a system of bounded reasoners which reason about each other’s beliefs, and investigate the problem of b...
متن کاملResource - Bounded Practical Reasoning
An architecture for a rational agent must allow for means-end reasoning, for the weighing of competing alternatives, and for interactions between these two forms of reasoning. Such an architecture must also address the problem of resource boundedness. We sketch a solution of the rst problem that points the way to a solution of the second. In particular, we present a high-level speci cation of t...
متن کاملBounded-Resource Reasoning as (Strong or Classical) Planning
To appropriately configure agents so as to avoid resource exhaustion, it is necessary to determine the minimum resource (time & memory) requirements necessary to solve reasoning problems. In this paper we show how the problem of reasoning under bounded resources can be recast as a planning problem. Focusing on propositional reasoning, we propose different recasting styles, which are equally int...
متن کامل